Preferential Role Restrictions
نویسندگان
چکیده
We extend ALC with preferential role restrictions as concept constructors, and argue that preferential universal restriction represents a defeasible version of standard universal restriction. The resulting DL is more expressive without adding to the complexity of TBox reasoning. We present a tableau system to compute TBox entailment, show that this notion of entailment is not sufficient when adding ABoxes, and refine entailment to deal adequately with ABox reasoning.
منابع مشابه
The Role of Preferential Trade Agreement (PTA) between Iran and Malaysia their Intra industry Trade (IIT)
متن کامل
Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match
In this work we include cardinality restrictions and degrees of expectedness of inclusions in preferential Description Logics. We enrich the language of the nonmonotonic Description Logic DL-LitecT, obtained by adding a typicality operator T to standard DL-Litecore , by allowing inclusions of the form T(C) vd D, where d is a degree of expectedness. We then propose a syntactic notion of extensio...
متن کاملThe Effects of Restrictions on Number of Connections in OSNs: A Case-Study on Twitter
Most popular Online Social Networks (OSNs) in today’s world, such as Facebook, Orkut and Twitter impose restrictions on the number of friends / connections that a member can have in the network. This is primarily due to two reasons to limit spam and to reduce the strain on the system due to member-to-all-friends communication. We study the effects of such restrictions on node-degree, on the top...
متن کاملGstp, the Structure of Protegtion and South-south Trade in Manufactures
In the light of endeavours for a Global System of Trade Preferences (GSTP) among developing countries, this article is concerned with the extent and structure of trade control measures in developing countries against imports of manufactures. More specifically, tariff charges, specific tariffs and quantitative restrictions are examined in selected developing countries. The analysis suggests that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013